]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46c1334) | patch
workspace: Ensure style of window-chrome titles before requesting width
authorJonas Dreßler <verdre@v0yd.nl>
Tue, 18 Feb 2020 22:21:52 +0000 (23:21 +0100)
committerFlorian Müllner <florian.muellner@gmail.com>
Wed, 19 Feb 2020 10:09:20 +0000 (10:09 +0000)
commitcf5204760d64ba6604ef7baa845082be82f3853e
tree80d16b05ccaa0d39f570ba741a7fe5336dc07132tree | snapshot
parent46c13349fc2aa7a215a326ab50f0a4bc19353917commit | diff
workspace: Ensure style of window-chrome titles before requesting width

Make sure the stylesheet properties of the window-chrome title are
updated before requesting the preferred width of the title to prevent
size changes of the title after we animated the width.

Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/58
js/ui/workspace.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.